CDIS (computer-based system)
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
top
The CCFcite-ref-1[1] Display and Information System (CDIS) is a computer-based system that provides airport and flight information to air traffic controllers formerly based at the London Terminal Control Centre in England.cite-ref-2[2] It was designed by Praxis in 1992.cite-ref-3[3]
Notes and references
cite-note-11. ↑ CCF stands for Central Control Function.
cite-note-22. ↑ "NATS - A Case Study (presentation)" (PDF). British Computer Society. 11 January 2005. Retrieved 14 December 2014.
cite-note-33. ↑ citerefhall-a-1996Hall, A. (March 1996). "Using formal methods to develop an ATC information system". IEEE Software. 13 (2): 66–76. doi:10.1109/52.506463.